1. Automated deduction, CADE-14
پدیدآورنده : William McCune, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.
2. Automated deduction-CADE-14 : 14th International Conference on Automated deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
پدیدآورنده : William McCune )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1249
3. Automated deduction in equational logic and cubic curves
پدیدآورنده : McCune, William
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Curves, Algebraic
رده :
QA
76
.
L28
Vol
.
1095
4. Calculus
پدیدآورنده : / William D. Clark and Sandra Luna McCune
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Precalculus -- Study and teaching -- Juvenile literature,Precalculus -- Study and teaching,جبر پیشرفته -- راهنمای آموزشی -- ادبیات کودکان و نوجوانان,جبر پیشرفته -- راهنمای آموزشی
رده :
QA39
,.
2
.
C5718
2012
5. Easy Algebra Step-by-Step
پدیدآورنده : / Sandra Luna McCune, William D. Clark
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra,Algebra - Problems, exercises, etc,جبر,جبر - مسائل، تمرین ها و غیره
رده :
QA157
.
M36
2012
6. Easy algebra step-by-step :
پدیدآورنده : Sandra Luna McCune, and William D. Clark
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Problems, exercises, etc.,Algebra.
رده :
QA157
.
M33
2012
7. Precalculus
پدیدآورنده : William D. Clark and Sandra Luna McCune
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Precalculus- Study and teaching- Juvenile literature,Precalculus- Study and teaching
رده :
QA
,
39
.
2
,.
C5718
,
2012
8. Precalculus
پدیدآورنده : / William D. Clark and Sandra Luna McCune
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Precalculus - Study and teaching - Juvenile literature,Precalculus - Study and teaching
رده :
QA39
.,
2
.
C5718
2012
9. Pro Puppet
پدیدآورنده : / Spencer Krum, William Van Hevelingen, Ben Kero, James Turnbull, Jeffery McCune
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
10. Pro Puppet /
پدیدآورنده : by Spencer Krum, William Van Hevelingen, James Turnbull, Jeffrey McCune
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Puppet (Computer file),Software configuration management
رده :
QA76
.
76
.
C69
11. Pro Puppet /
پدیدآورنده : by Spencer Krum, William Van Hevelingen, James Turnbull, Jeffrey McCune
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Puppet (Computer file),Software configuration management
رده :
QA76
.
76
.
C69
